filosofía | que es la lógica formal ¿